Books by author Mariëlle Stoelinga

Showing 1 – 9 out of 9 results

1. 

   Formal Methods for Industrial Critical Systems

   Mariëlle Stoelinga, Ralf Pinger | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   47.40 €

   Sale 7 %

   You save 3.95 €

   Buy
2. 

   Principles of Verification: Cycling the Probabilistic Landscape

   Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   77.05 €

   Sale 7 %

   You save 6.48 €

   Buy
3. 

   Stochastic Model Checking

   Anne Remke, Mariëlle Stoelinga | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   55.67 €

   Buy
4. 

   Principles of Verification: Cycling the Probabilistic Landscape

   Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   71.91 €

   Sale 7 %

   You save 6.07 €

   Buy
5. 

   Quantitative Evaluation of Systems

   Pedro R. D'Argenio, Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.53 €

   Sale 7 %

   You save 4.27 €

   Buy
6. 

   Concise Guide to Fault Tree Analysis

   Mariëlle Stoelinga, Enno Ruijters, Pavel Krcál | Springer, Berlin, 2025

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   65.35 €

   Sale 9 %

   You save 7.10 €

   Buy
7. 

   A Journey from Process Algebra via Timed Automata to Model Learning

   Nils Jansen, Mariëlle Stoelinga, Petra van den Bos | Springer, Berlin, 2022

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.53 €

   Sale 7 %

   You save 4.27 €

   Buy
8. 

   Formal Modeling and Analysis of Timed Systems

   Mariëlle Stoelinga | Springer Nature Switzerland AG, 2019

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.53 €

   Sale 7 %

   You save 4.27 €

   Buy
9. 

   Principles of Verification: Cycling the Probabilistic Landscape

   Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   82.20 €

   Sale 7 %

   You save 6.86 €

   Buy

Estimated delivery date you can see on the book page. Find out more